Algol-Genius

Some validation tests for an Algol 60 compiler

This report contains details of over 100 Algol 60 test programs available from NPL which can be used to validate a compiler. Interpreting the results of the tests requires a good knowledge of Algol 60.

A One Pass Algorithm for Compiling ALGOL 68 Declarations

36 Algorithm

Algol 68 is considerably more difficult to learn than Pascal, partly due to the unusual terminology of Algol 68, which has not been widely accepted. The defining document of Algol 68 is much more elaborate and precise than the Pascal Report, but is also much more difficult to understand than the shorter and less formal Pascal document. This applies, in particular, to the two-level context-sensi...

Generating Czech Iambic Verse

In the paper, we describe an algorithm for generating Czech iambic verse and its implementation on a computer. It is a continuation of the work first done in 1972 [6], in which a program generating Czech iambic verse had been developed, written in the programming language Algol-Genius and run on the mainframe SAAB D21 with interesting results. Here, we present a new experiment which is a follow...

Linearity, Sharing and State: a Fully Abstract Game Semantics for Idealized Algol with Active Expressions Extended Abstract Abramsky and Mccusker

The manipulation of objects with state which changes over time is all-pervasive in computing. Perhaps the simplest example of such objects are the program variables of classical imperative languages. An important strand of work within the study of such languages, pioneered by John Reynolds, focusses on \Idealized Algol", an elegant synthesis of imperative and functional features. We present a n...